Truth, deduction, and computation: logic and semantics for computer science